axioms of countability

可数性公理